Data types

Results: 6238



#Item
691Fuzzy concept / Fuzzy set / Spatial analysis / Rough set / Membership function / Spatial database / Vagueness / Type-2 fuzzy sets and systems / Fuzzy classification / Logic / Fuzzy logic / Mathematical logic

Fuzzy Spatial Data Types for Spatial Uncertainty Management in Databases Markus Schneider University of Florida Department of Computer & Information Science & Engineering Gainesville, FL 32611, USA

Add to Reading List

Source URL: www.cise.ufl.edu

Language: English - Date: 2007-06-19 17:35:57
692Functional programming / Data types / Type theory / Higher-order functions / Adjoint functors / Monad / Pattern matching / Type system / List / Software engineering / Declarative programming / Computing

Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2014-06-24 05:23:23
693Cross-platform software / Procedural programming languages / LuaTeX / TeX / Macro programming languages / Abstract data types / ConTeXt / Lua / Macro / Software / Computing / Computer programming

PDF Document

Add to Reading List

Source URL: www.ntg.nl

Language: English - Date: 2010-12-27 11:20:11
694Type theory / Memory management / Data types / Procedural programming languages / Variables / Type system / C / Local variable / Garbage collection / Software engineering / Computing / Computer programming

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 3 5 Compiler Construction (DJG) (a) Define the following forms of variable:

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:18:42
695Data types / Type theory / Icon / Type system / String / C / Variable / Type inference / Subroutine / Software engineering / Computing / Computer programming

In-Depth Coverage of the Icon Programming Language December 1991 Number 9 In this issue … Bogus Expressions … 1

Add to Reading List

Source URL: www.cs.arizona.edu

Language: English - Date: 1998-11-16 14:45:20
696Computer programming / Object-oriented programming / Type theory / Data types / Observer pattern / Design Patterns / Behavioral pattern / Tuple / Type system / Software engineering / Software design patterns / Computing

Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002 c 2002 Society for Design and Process Science COMBINING STATIC AND DYNAMIC ANALYSES TO DETECT INTERACTION PATTERNS

Add to Reading List

Source URL: arisa.se

Language: English - Date: 2013-01-05 08:49:43
697Data types / Functional programming / Type theory / Higher-order functions / Control flow / Fold / Map / Generalized algebraic data type / Eval / Software engineering / Computing / Computer programming

Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2012-11-28 10:50:59
698Statistics / Evaluation methods / Methodology / Market research / Psychometrics / Survey methodology / Multiple choice / Question / Matrix / Science / Research methods / Data collection

Online Survey Design and Deployment Software Solution Web Surveys Question Types Quick Reference Document Updated: August 2010

Add to Reading List

Source URL: www.leadpro247.com

Language: English - Date: 2010-08-30 19:30:01
699Lock / Mutual exclusion / Parallel computing / Computer monitor / Electronics / Concurrency control / Monitor / Computing

COMPUTER SCIENCE TRIPOS Part IB – 2014 – Paper 5 8 Concurrent and Distributed Systems (RNW) (a) Monitors are a programming primitive linking data with two synchronization types: mutual exclusion and condition synchro

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:18:43
700Type theory / Procedural programming languages / Functional languages / Data types / Type systems / Type inference / ALGOL 68 / OCaml / Hindley–Milner / Software engineering / Programming language theory / Computing

Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´

Add to Reading List

Source URL: www.math.nagoya-u.ac.jp

Language: English - Date: 2013-12-10 00:25:45
UPDATE